Situation-Based Connexive Logic

Abstract The aim of this paper is to present a system modal connexive logic based on situation semantics. In general, logics are extensions standard that incorporate Aristotle’s and Boethius’ theses, the thesis sentence cannot imply its negation pair contradictory sentences. A key problem in devising come up with both sufficiently strong fulfill some specific theses well-motivated from semantical point view. approach proposed here tries address by defining an appropriate relation terms more basic notions. result nicely fits traditional ideas concerning conditional current developments logic.